Nuprl Definition : for_hdtl
2,24
postcript
pdf
ForHdTl{
A
,
f
,
k
}
h
::
t
as
.
g
(
h
;
t
) == reduce(
f
;
k
;mapcons(
h
,
t
.
g
(
h
;
t
);
as
))
latex
Definitions
reduce(
f
;
k
;
as
)
,
mapcons(
f
;
as
)
FDL editor aliases
for_hdtl
origin
as. g(h;t) == reduce(f;k;mapcons(
h,t. g(h;t);as)) as. g(h;t) == reduce(f;k;mapcons(h,t. g(h;t);as))